Concurrency computer science) - PDFSEARCH.IO - Document Search Engine

Concurrency computer science)
Results: 359

#	Item
321	Fixing the Java Memory Model William Pugh Dept. Of Computer Science Univ. of Maryland http://www.cs.umd.edu/~pugh/java Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 1999-06-23 15:16:39 Computer memory Transaction processing Concurrency control Compiler construction Java Memory Model Thread Memory model Consistency model Lock Computing Software engineering Java platform
322	The Semantics of Multithreaded Java William Pugh Dept. Of Computer Science Univ. of Maryland http://www.cs.umd.edu/~pugh/java Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 1999-09-22 10:56:06 Computer memory Compiler construction Concurrency Programming language design Memory model Consistency model Java Memory Model Thread Lock Computing Software engineering Concurrency control
323	Domain Theory for Concurrency Mikkel Nygaard BRICS∗ University of Aarhus Glynn Winskel Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2003-09-25 08:15:38 Models of computation Logic in computer science Binary operations Denotational semantics Π-calculus If and only if Mathematics Theoretical computer science Applied mathematics
324	(To appear in Concurrency: Practice and Experience) The Java Memory Model is Fatally Flawed William Pugh Dept. of Computer Science Univ. of Maryland, College Park Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2002-04-22 19:37:42 C programming language Java platform Data types Computer memory Struct Java Memory Model Memory barrier Java bytecode Java Computing Software engineering Cross-platform software
325	Types for Deterministic Concurrency by Tachio Terauchi B.S. (Columbia University[removed]M.S. (University of California, Berkeley[removed]A dissertation submitted in partial satisfaction Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2006-09-17 01:41:19 Computer science Concurrency George Necula Parallel computing Operational semantics Programming language Applied mathematics Process calculi Theoretical computer science Logic in computer science Programming language semantics
326	Reader-Writer Synchronization for Shared-Memory Multiprocessor Real-Time Systems∗ Bj¨orn B. Brandenburg and James H. Anderson Department of Computer Science, University of North Carolina at Chapel Hill Abstract Add to Reading List Source URL: www.cs.unc.edu Language: English - Date: 2009-04-20 12:18:41 Computer programming Lock Readers–writer lock Deadlock Spinlock Atom Mutual exclusion Semaphore Priority ceiling protocol Concurrency control Computing Concurrency
327	DATA REPRESENTATION SYNTHESIS A DISSERTATION SUBMITTED TO THE DEPARTMENT OF COMPUTER SCIENCE AND THE COMMITTEE ON GRADUATE STUDIES OF STANFORD UNIVERSITY Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2012-05-10 17:28:49 Information Concurrency control Databases Database management systems Database Serializability Extensible Storage Engine Lock Schedule Data management Transaction processing Data
328	Architectural and Compiler Support for Strongly Atomic Transactional Memory by C. Scott Ananian M.Sc Electrical Engineering and Computer Science, Add to Reading List Source URL: cscott.net Language: English - Date: 2007-05-31 03:48:33 Data Information Transactional memory Linearizability Software transactional memory Atomicity Lock Isolation Database transaction Transaction processing Concurrency control Data management
329	Linear Logical Relations and Observational Equivalences for Session-Based Concurrency Jorge A. P´ereza , Lu´ıs Cairesa , Frank Pfenningb , Bernardo Toninhoa,b a CITI and Departamento de Inform´atica, FCT Universidad Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2013-10-12 12:11:49 Type theory Theoretical computer science Proof theory Logic in computer science Deduction Curry–Howard correspondence Lambda calculus Entailment Π-calculus Logic Mathematics Mathematical logic
330	The Incremental Modelling of the Z39.50 Protocol with Object Petri Nets Charles Lakos1 and John Lamp2 Computer Science, University of Adelaide, Adelaide, SA, 5005, Australia. 2 Add to Reading List Source URL: lamp.infosys.deakin.edu.au Language: English - Date: 1999-03-07 17:35:30 Models of computation Concurrency Diagrams Petri net Object-oriented programming Z39.50 Abstract Syntax Notation One Objective-C Protocol data unit Computing Software engineering Computer programming

UPDATE